<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.9.1"/>
<title>opennars: nars.inference.StructuralRules Class Reference</title>
<link href="../../tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../jquery.js"></script>
<script type="text/javascript" src="../../dynsections.js"></script>
<link href="../../navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../resize.js"></script>
<script type="text/javascript" src="../../navtreedata.js"></script>
<script type="text/javascript" src="../../navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="../../search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="../../search/searchdata.js"></script>
<script type="text/javascript" src="../../search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { init_search(); });
</script>
<link href="../../doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">opennars
   &#160;<span id="projectnumber">1.5.5</span>
   </div>
   <div id="projectbrief">1.5-ish</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.9.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "../../search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="../../index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="../../pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="../../namespaces.html"><span>Packages</span></a></li>
      <li class="current"><a href="../../annotated.html"><span>Classes</span></a></li>
      <li><a href="../../files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="../../search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="../../search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="../../annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="../../classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="../../inherits.html"><span>Class&#160;Hierarchy</span></a></li>
      <li><a href="../../functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('db/d49/classnars_1_1inference_1_1StructuralRules.html','../../');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="summary">
<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
<a href="#pac-static-methods">Static Package Functions</a> &#124;
<a href="#pri-static-methods">Static Private Member Functions</a> &#124;
<a href="#pri-static-attribs">Static Private Attributes</a> &#124;
<a href="../../d2/d76/classnars_1_1inference_1_1StructuralRules-members.html">List of all members</a>  </div>
  <div class="headertitle">
<div class="title">nars.inference.StructuralRules Class Reference</div>  </div>
</div><!--header-->
<div class="contents">

<p>Single-premise inference rules involving compound terms.  
 <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules.html#details">More...</a></p>
<div id="dynsection-0" onclick="return toggleVisibility(this)" class="dynheader closed" style="cursor:pointer;">
  <img id="dynsection-0-trigger" src="../../closed.png" alt="+"/> Collaboration diagram for nars.inference.StructuralRules:</div>
<div id="dynsection-0-summary" class="dynsummary" style="display:block;">
</div>
<div id="dynsection-0-content" class="dyncontent" style="display:none;">
<div class="center"><iframe scrolling="no" frameborder="0" src="../../dc/d0a/classnars_1_1inference_1_1StructuralRules__coll__graph.svg" width="190" height="279"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe>
</div>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
Static Public Member Functions</h2></td></tr>
<tr class="memitem:abdbbd955e13acf7fef8c6571b50cfebc"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_abdbbd955e13acf7fef8c6571b50cfebc.html#abdbbd955e13acf7fef8c6571b50cfebc">transformNegation</a> (<a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> content, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:abdbbd955e13acf7fef8c6571b50cfebc"><td class="mdescLeft">&#160;</td><td class="mdescRight">{A, A@(&ndash;, A)} |- (&ndash;, A)  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_abdbbd955e13acf7fef8c6571b50cfebc.html#abdbbd955e13acf7fef8c6571b50cfebc">More...</a><br /></td></tr>
<tr class="separator:abdbbd955e13acf7fef8c6571b50cfebc"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pac-static-methods"></a>
Static Package Functions</h2></td></tr>
<tr class="memitem:a7baceb5d0b1adc6005f24cf83bc88e01"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a7baceb5d0b1adc6005f24cf83bc88e01.html#a7baceb5d0b1adc6005f24cf83bc88e01">structuralCompose2</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, short index, <a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, short side, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a7baceb5d0b1adc6005f24cf83bc88e01"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;S --&gt; P&gt;, S@(S&amp;T)} |- &lt;(S&amp;T) &ndash;&gt; (P&amp;T)&gt; {&lt;S --&gt; P&gt;, S@(M-S)} |- &lt;(M-P) &ndash;&gt; (M-S)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a7baceb5d0b1adc6005f24cf83bc88e01.html#a7baceb5d0b1adc6005f24cf83bc88e01">More...</a><br /></td></tr>
<tr class="separator:a7baceb5d0b1adc6005f24cf83bc88e01"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a38aabb9f3b3a70e03852da1e32ec665d"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a38aabb9f3b3a70e03852da1e32ec665d.html#a38aabb9f3b3a70e03852da1e32ec665d">structuralDecompose2</a> (<a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a38aabb9f3b3a70e03852da1e32ec665d"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;(S&amp;T) &ndash;&gt; (P&amp;T)&gt;, S@(S&amp;T)} |- &lt;S --&gt; P&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a38aabb9f3b3a70e03852da1e32ec665d.html#a38aabb9f3b3a70e03852da1e32ec665d">More...</a><br /></td></tr>
<tr class="separator:a38aabb9f3b3a70e03852da1e32ec665d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a29e0fbd7745a4ae5e324dbfe64b8f488"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a29e0fbd7745a4ae5e324dbfe64b8f488.html#a29e0fbd7745a4ae5e324dbfe64b8f488">structuralCompose1</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, short index, <a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a29e0fbd7745a4ae5e324dbfe64b8f488"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;S --&gt; P&gt;, P@(P&amp;Q)} |- &lt;S --&gt; (P&amp;Q)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a29e0fbd7745a4ae5e324dbfe64b8f488.html#a29e0fbd7745a4ae5e324dbfe64b8f488">More...</a><br /></td></tr>
<tr class="separator:a29e0fbd7745a4ae5e324dbfe64b8f488"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ab332619119b303e3ecf9920684448ff8"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_ab332619119b303e3ecf9920684448ff8.html#ab332619119b303e3ecf9920684448ff8">structuralDecompose1</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, short index, <a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:ab332619119b303e3ecf9920684448ff8"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;(S&amp;T) &ndash;&gt; P&gt;, S@(S&amp;T)} |- &lt;S --&gt; P&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_ab332619119b303e3ecf9920684448ff8.html#ab332619119b303e3ecf9920684448ff8">More...</a><br /></td></tr>
<tr class="separator:ab332619119b303e3ecf9920684448ff8"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa64a90e38bec275a6a3acba2a2eeefa1"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_aa64a90e38bec275a6a3acba2a2eeefa1.html#aa64a90e38bec275a6a3acba2a2eeefa1">transformSetRelation</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, <a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, short side, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:aa64a90e38bec275a6a3acba2a2eeefa1"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;S --&gt; {P}&gt;} |- &lt;S &lt;-&gt; {P}&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_aa64a90e38bec275a6a3acba2a2eeefa1.html#aa64a90e38bec275a6a3acba2a2eeefa1">More...</a><br /></td></tr>
<tr class="separator:aa64a90e38bec275a6a3acba2a2eeefa1"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a6f7188931508f5b84e6de02301bf798d"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a6f7188931508f5b84e6de02301bf798d.html#a6f7188931508f5b84e6de02301bf798d">transformProductImage</a> (<a class="el" href="../../d0/df3/classnars_1_1language_1_1Inheritance.html">Inheritance</a> inh, <a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> oldContent, short[] indices, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a6f7188931508f5b84e6de02301bf798d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equivalent transformation between products and images {&lt;(*, S, M) &ndash;&gt; P&gt;, S@(*, S, M)} |- &lt;S --&gt; (/, P, _, M)&gt; {&lt;S --&gt; (/, P, _, M)&gt;, P@(/, P, _, M)} |- &lt;(*, S, M) &ndash;&gt; P&gt; {&lt;S --&gt; (/, P, _, M)&gt;, M@(/, P, _, M)} |- &lt;M --&gt; (/, P, S, _)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a6f7188931508f5b84e6de02301bf798d.html#a6f7188931508f5b84e6de02301bf798d">More...</a><br /></td></tr>
<tr class="separator:a6f7188931508f5b84e6de02301bf798d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aa98f40a1f1409b81531260124ebd13db"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_aa98f40a1f1409b81531260124ebd13db.html#aa98f40a1f1409b81531260124ebd13db">structuralCompound</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, <a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> component, boolean compoundTask, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:aa98f40a1f1409b81531260124ebd13db"><td class="mdescLeft">&#160;</td><td class="mdescRight">{(&amp;&amp;, A, B), A@(&amp;&amp;, A, B)} |- A {(||, A, B), A@(||, A, B)} |- A  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_aa98f40a1f1409b81531260124ebd13db.html#aa98f40a1f1409b81531260124ebd13db">More...</a><br /></td></tr>
<tr class="separator:aa98f40a1f1409b81531260124ebd13db"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a7eed75f5c3aa4d832eeb95dd5374d5c1"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a7eed75f5c3aa4d832eeb95dd5374d5c1.html#a7eed75f5c3aa4d832eeb95dd5374d5c1">contraposition</a> (<a class="el" href="../../d1/d5e/classnars_1_1language_1_1Statement.html">Statement</a> statement, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a7eed75f5c3aa4d832eeb95dd5374d5c1"><td class="mdescLeft">&#160;</td><td class="mdescRight">{&lt;A ==&gt; B&gt;, A@(&ndash;, A)} |- &lt;(&ndash;, B) ==&gt; (&ndash;, A)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a7eed75f5c3aa4d832eeb95dd5374d5c1.html#a7eed75f5c3aa4d832eeb95dd5374d5c1">More...</a><br /></td></tr>
<tr class="separator:a7eed75f5c3aa4d832eeb95dd5374d5c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-methods"></a>
Static Private Member Functions</h2></td></tr>
<tr class="memitem:a9153919870a10912311c0a865850e753"><td class="memItemLeft" align="right" valign="top">static boolean&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a9153919870a10912311c0a865850e753.html#a9153919870a10912311c0a865850e753">switchOrder</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> compound, short index)</td></tr>
<tr class="memdesc:a9153919870a10912311c0a865850e753"><td class="mdescLeft">&#160;</td><td class="mdescRight">List the cases where the direction of inheritance is revised in conclusion.  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a9153919870a10912311c0a865850e753.html#a9153919870a10912311c0a865850e753">More...</a><br /></td></tr>
<tr class="separator:a9153919870a10912311c0a865850e753"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a85867ea2f5c08252344131858cf95bfd"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a85867ea2f5c08252344131858cf95bfd.html#a85867ea2f5c08252344131858cf95bfd">structuralStatement</a> (<a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> subject, <a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> predicate, <a class="el" href="../../d3/db8/classnars_1_1entity_1_1TruthValue.html">TruthValue</a> truth, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a85867ea2f5c08252344131858cf95bfd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Common final operations of the above two methods.  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a85867ea2f5c08252344131858cf95bfd.html#a85867ea2f5c08252344131858cf95bfd">More...</a><br /></td></tr>
<tr class="separator:a85867ea2f5c08252344131858cf95bfd"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a45ae086cf44c9f32cbe9a729f2419594"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a45ae086cf44c9f32cbe9a729f2419594.html#a45ae086cf44c9f32cbe9a729f2419594">transformSubjectPI</a> (<a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> subject, <a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> predicate, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:a45ae086cf44c9f32cbe9a729f2419594"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equivalent transformation between products and images when the subject is a compound {&lt;(*, S, M) &ndash;&gt; P&gt;, S@(*, S, M)} |- &lt;S --&gt; (/, P, _, M)&gt; {&lt;S &ndash;&gt; (/, P, _, M)&gt;, P@(/, P, _, M)} |- &lt;(*, S, M) &ndash;&gt; P&gt; {&lt;S --&gt; (/, P, _, M)&gt;, M@(/, P, _, M)} |- &lt;M --&gt; (/, P, S, _)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a45ae086cf44c9f32cbe9a729f2419594.html#a45ae086cf44c9f32cbe9a729f2419594">More...</a><br /></td></tr>
<tr class="separator:a45ae086cf44c9f32cbe9a729f2419594"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ad34f61108459aea34b27a7547ac4ba48"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_ad34f61108459aea34b27a7547ac4ba48.html#ad34f61108459aea34b27a7547ac4ba48">transformPredicatePI</a> (<a class="el" href="../../d8/db8/classnars_1_1language_1_1Term.html">Term</a> subject, <a class="el" href="../../d0/dee/classnars_1_1language_1_1CompoundTerm.html">CompoundTerm</a> predicate, <a class="el" href="../../d8/df4/classnars_1_1storage_1_1Memory.html">Memory</a> memory)</td></tr>
<tr class="memdesc:ad34f61108459aea34b27a7547ac4ba48"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equivalent transformation between products and images when the predicate is a compound {&lt;(*, S, M) &ndash;&gt; P&gt;, S@(*, S, M)} |- &lt;S --&gt; (/, P, _, M)&gt; {&lt;S --&gt; (/, P, _, M)&gt;, P@(/, P, _, M)} |- &lt;(*, S, M) &ndash;&gt; P&gt; {&lt;S --&gt; (/, P, _, M)&gt;, M@(/, P, _, M)} |- &lt;M --&gt; (/, P, S, _)&gt;  <a href="../../db/d49/classnars_1_1inference_1_1StructuralRules_ad34f61108459aea34b27a7547ac4ba48.html#ad34f61108459aea34b27a7547ac4ba48">More...</a><br /></td></tr>
<tr class="separator:ad34f61108459aea34b27a7547ac4ba48"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
Static Private Attributes</h2></td></tr>
<tr class="memitem:a91cc846f3173248751ae1a8b45512324"><td class="memItemLeft" align="right" valign="top">static final float&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules_a91cc846f3173248751ae1a8b45512324.html#a91cc846f3173248751ae1a8b45512324">RELIANCE</a> = Parameters.RELIANCE</td></tr>
<tr class="separator:a91cc846f3173248751ae1a8b45512324"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p>Single-premise inference rules involving compound terms. </p>
<p>Input are one sentence (the premise) and one TermLink (indicating a component) </p>

<p>Definition at line <a class="el" href="../../da/da1/StructuralRules_8java_source.html#l00040">40</a> of file <a class="el" href="../../da/da1/StructuralRules_8java_source.html">StructuralRules.java</a>.</p>
</div><hr/>The documentation for this class was generated from the following file:<ul>
<li>aruntime/src/main/java/nars/inference/<a class="el" href="../../da/da1/StructuralRules_8java_source.html">StructuralRules.java</a></li>
</ul>
</div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="../../d7/d81/namespacenars.html">nars</a></li><li class="navelem"><a class="el" href="../../d9/d79/namespacenars_1_1inference.html">inference</a></li><li class="navelem"><a class="el" href="../../db/d49/classnars_1_1inference_1_1StructuralRules.html">StructuralRules</a></li>
    <li class="footer">Generated on Sun Jan 10 2016 18:03:59 for opennars by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="../../doxygen.png" alt="doxygen"/></a> 1.8.9.1 </li>
  </ul>
</div>
</body>
</html>
